Propositional function - PDFSEARCH.IO - Document Search Engine

Propositional function
Results: 162

#	Item
91	Linear Logic for Generalized Quantum Mechanics Vaughan Pratt∗ Dept. of Computer Science Stanford University, CA[removed]removed] Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2003-10-12 15:40:30 Non-classical logic Linear logic Quantum logic Intuitionistic logic Modal logic Propositional calculus Boolean algebra Function Interpretation Logic Mathematical logic Mathematics
92	EuJAP \| Vol. 8 \| No. 2 \| 2012 UDK 1:[removed]ARE ALL GENERALIZATIONS FALSE? Add to Reading List Source URL: www.ffri.hr Language: English - Date: 2014-07-09 05:48:27 Philosophical logic Mathematical logic Propositional calculus Veracity Proposition Truth Interpretation Contingency Function Logic Philosophy Philosophy of language
93	EUJAP  VOL. 3  No. 1  2007 Original scientific paper UDk: 165 1:18 Add to Reading List Source URL: www.ffri.hr Language: English - Date: 2014-07-09 05:48:20 Formal languages Philosophy of language Logical syntax Propositional calculus Modal logic Proposition Interpretation Golden ratio Function Logic Mathematics Mathematical logic
94	EUJAP  VOL. 5  No. 2  2009 ORIGINAL SCIENTIFIC PAPER UDK: 159.9.01:165.7 165.7:[removed] Add to Reading List Source URL: www.ffri.hr Language: English - Date: 2014-07-09 05:48:27 Mental content Philosophy of language Propositional calculus Propositional attitude Psycholinguistics Attitude Proposition Function Folk psychology Philosophy of mind Mind Logic
95	Proceedings of the Third Conference of Mathematical Society of Moldova IMCS-50, August 19-23, 2014, Chisinau, Republic of Moldova On absence of finite approximation relative to model completeness in the propositional pro Add to Reading List Source URL: idsi.md Language: English - Date: 2014-10-08 08:39:39 Non-classical logic Modal logic Philosophical logic Proof theory Provability logic Intuitionistic logic Interpretation Boolean function Boolean algebra Logic Mathematical logic Model theory
96	A Technique for Analyzing the Effects of Changes in Formal Specifications Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2014-12-18 20:03:24 Predicate logic Propositional calculus Semantics Model theory First-order logic Cross-linked polyethylene Function Predicate Propositional formula Logic Mathematical logic Mathematics
97	NEW YORK CITY COLLEGE OF TECHNOLOGY The City University of New York DEPARTMENT: Mathematics Add to Reading List Source URL: www.citytech.cuny.edu Language: English - Date: 2014-07-01 12:36:31 Algorithm Theoretical computer science Discrete mathematics Function Propositional calculus MATLAB Computer algebra system Mathematical induction Mathematics Logic Mathematical logic
98	New York City College of Technology The City University of New York DEPARTMENT: Mathematics PREPARED BY: Professor Victoria Gitman, Professor Yalin Celikler, Professor Jonas Reitz, Add to Reading List Source URL: www.citytech.cuny.edu Language: English - Date: 2014-07-01 12:53:27 Model theory Boolean algebra Philosophical logic Mathematical proof First-order logic Function Propositional calculus Set theory Theorem Logic Mathematics Mathematical logic
99	Preprocessing for Controlled Query Evaluation with Availability Policy∗ Joachim Biskup and Lena Wiese† Universit¨at Dortmund, 44221 Dortmund, Germany Tel.: +[removed], Fax: +[removed] {biskup,wiese}@ls6. Add to Reading List Source URL: wiese.free.fr Language: English - Date: 2009-06-22 13:18:20 Propositional calculus Logical syntax Formal languages Philosophy of language Resolution Interpretation Well-formed formula Conjunctive normal form Function Logic Mathematical logic Mathematics
100	A Worst-Case Comparison between Temporal Diﬀerence and Residual Gradient with Linear Function Approximation Lihong Li [removed] Department of Computer Science, Rutgers University, 110 Frelinghuysen Road, Pi Add to Reading List Source URL: www.machinelearning.org Language: English - Date: 2008-04-18 14:23:56 Logical syntax Metalogic Philosophical logic Propositional calculus Natural deduction Logic Deduction Entailment

UPDATE